David A. Basin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 2018 ACM SIGSAC Conference - Toronto, Canada (2018.10.15-2018.10.19)] Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18 - A Formal Analysis of 5G Authentication

Basin, David, Dreier, Jannik, Hirschi, Lucca, Radomirovic, Saša, Sasse, Ralf, Stettler, Vincent

Year:

2018

Language:

english

File:

PDF, 1.46 MB

english, 2018

2

SSL/TLS session-aware user authentication – Or how to effectively thwart the man-in-the-middle

Rolf Oppliger, Ralf Hauser, David Basin

Journal:

Computer Communications

Year:

2006

Language:

english

File:

PDF, 183 KB

english, 2006

3

SSL/TLS session-aware user authentication revisited

Rolf Oppliger, Ralf Hauser, David Basin

Journal:

Computers & Security

Year:

2008

Language:

english

File:

PDF, 234 KB

english, 2008

4

Search in games with incomplete information: a case study using Bridge card play

Ian Frank, David Basin

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 2.65 MB

english, 1998

5

Middle-out reasoning for synthesis and induction

Ina Kraan, David Basin, Alan Bundy

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.55 MB

english, 1996

6

A term equality problem equivalent to graph isomorphism

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 594 KB

english, 1994

7

Editorial

David Basin, Olivier Danvy, Robert Harper

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 16 KB

english, 2004

8

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Secure data deletion from persistent media

Reardon, Joel, Ritzdorf, Hubert, Basin, David, Capkun, Srdjan

Year:

2013

Language:

english

File:

PDF, 486 KB

english, 2013

9

Improving the Security of Cryptographic Protocol Standards

Basin, David, Cremers, Cas, Miyazaki, Kunihiko, Radomirovic, Sasa, Watanabe, Dai

Journal:

IEEE Security & Privacy Magazine

Year:

2015

Language:

english

File:

PDF, 687 KB

english, 2015

10

[ACM Press the 15th ACM conference - Alexandria, Virginia, USA (2008.10.27-2008.10.31)] Proceedings of the 15th ACM conference on Computer and communications security - CCS '08 - A class of probabilistic models for role engineering

Frank, Mario, Basin, David, Buhmann, Joachim M.

Year:

2008

Language:

english

File:

PDF, 629 KB

english, 2008

11

[IEEE 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Saarbrucken, Germany (2016.3.21-2016.3.24)] 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Strong and Provably Secure Database Access Control

Guarnieri, Marco, Marinovic, Srdjan, Basin, David

Year:

2016

Language:

english

File:

PDF, 401 KB

english, 2016

12

A formal data-model of the CORBA security service

Basin, David, Rittinger, Frank, Viganò, Luca

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 75 KB

english, 2001

13

Design, Analysis, and Implementation of ARPKI: an Attack-Resilient Public-Key Infrastructure

Basin, David, Cremers, Cas, Hyuni-jin, Tiffany, Perrig, Adrian, Sasse, Ralf, Szalachowski, Pawel

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2016

Language:

english

File:

PDF, 1.30 MB

english, 2016

14

[ACM Press the 17th ACM Workshop - Redmond, WA, USA (2018.11.15-2018.11.16)] Proceedings of the 17th ACM Workshop on Hot Topics in Networks - HotNets '18 - Networking in Heaven as on Earth

Klenze, Tobias, Giuliari, Giacomo, Pappas, Christos, Perrig, Adrian, Basin, David

Year:

2018

Language:

english

File:

PDF, 1.52 MB

english, 2018

15

[IEEE 2019 IEEE European Symposium on Security and Privacy (EuroS&P) - Stockholm, Sweden (2019.6.17-2019.6.19)] 2019 IEEE European Symposium on Security and Privacy (EuroS&P) - Information-Flow Control for Database-Backed Applications

Guarnieri, Marco, Balliu, Musard, Schoepe, Daniel, Basin, David, Sabelfeld, Andrei

Year:

2019

Language:

english

File:

PDF, 362 KB

english, 2019

16

Runtime Verification over Out-of-order Streams

Basin, David, Klaedtke, Felix, Zălinescu, Eugen

Journal:

ACM Transactions on Computational Logic

Year:

2019

Language:

english

File:

PDF, 2.35 MB

english, 2019

17

CryptHOL: Game-Based Proofs in Higher-Order Logic

Basin, David A., Lochbihler, Andreas, Sefidgar, S. Reza

Journal:

Journal of Cryptology

Year:

2020

Language:

english

File:

PDF, 1.35 MB

english, 2020

18

Program Development Schemata as Derived Rules

Penny Anderson, David Basin

Journal:

Journal of Symbolic Computation

Year:

2000

Language:

english

File:

PDF, 431 KB

english, 2000

19

A Higher-order Interpretation of Deductive Tableau

Abdelwaheb Ayari, David Basin

Journal:

Journal of Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 325 KB

english, 2001

20

Metareasoning about Security Protocols using Distributed Temporal Logic

Carlos Caleiro, Luca Viganò, David Basin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 408 KB

english, 2005

21

Automated analysis of security-design models

David Basin, Manuel Clavel, Jürgen Doser, Marina Egea

Journal:

Information and Software Technology

Year:

2009

Language:

english

File:

PDF, 802 KB

english, 2009

22

Developing topology discovery in Event-B

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 1.06 MB

english, 2009

23

On the semantics of Alice&Bob specifications of security protocols

Carlos Caleiro, Luca Viganò, David Basin

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 548 KB

english, 2006

24

A theoretical and empirical investigation of search in imperfect information games

Ian Frank, David Basin

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 696 KB

english, 2001

25

Decision procedures for inductive Boolean functions based on alternating automata

Abdelwaheb Ayari, David Basin, Felix Klaedtke

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 395 KB

english, 2003

26

Scoped Metatheorems

David Basin, Seán Matthews

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

File:

PDF, 623 KB

1998

27

Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis

David Basin, Grit Denker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 169 KB

english, 2000

28

A calculus for and termination of rippling

David A. Basin, Toby Walsh

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.65 MB

english, 1996

29

A recursion planning analysis of inductive completion

Richard Barnett, David Basin, Jane Hesketh

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

1993

Language:

english

File:

PDF, 1.24 MB

english, 1993

30

Verifying a signature architecture: a comparative case study

David Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff

Journal:

Formal Aspects of Computing

Year:

2007

Language:

english

File:

PDF, 1.86 MB

english, 2007

31

Konflikt oder Review zwei Ansätze für Labors in angewandter Informationssicherheit

Michael Näf, David Basin

Journal:

Informatik-Spektrum

Year:

2005

Language:

german

File:

PDF, 271 KB

german, 2005

32

OFMC: A symbolic model checker for security protocols

David Basin, Sebastian Mödersheim, Luca Viganò

Journal:

International Journal of Information Security

Year:

2005

Language:

english

File:

PDF, 1.84 MB

english, 2005

33

Efficient analysis of pattern-based constraint specifications

Michael Wahler, David Basin, Achim D. Brucker, Jana Koehler

Journal:

Software & Systems Modeling

Year:

2010

Language:

english

File:

PDF, 1.38 MB

english, 2010

34

Automated Reasoning for Security Protocol Analysis

Alessandro Armando, David Basin, Jorge Cuellar, Michaël Rusinowitch, Luca Viganò

Journal:

Journal of Automated Reasoning

Year:

2006

Language:

english

File:

PDF, 43 KB

english, 2006

35

Formally verified synthesis of combinational CMOS circuits

David A. Basin, Geoffrey M. Brown, Miriam E. Leeser

Journal:

Integration, the VLSI Journal

Year:

1991

Language:

english

File:

PDF, 895 KB

english, 1991

36

Deconstructing Alice and Bob

Carlos Caleiro, Luca Viganò, David Basin

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 354 KB

english, 2005

37

Distributed temporal logic for the analysis of security protocol models

David Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 1.22 MB

english, 2011

38

Towards an Awareness-Based Semantics for Security Protocol Analysis

Rafael Accorsi, David Basin, Luca Viganò

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 433 KB

english, 2003

39

Natural Deduction for Non-Classical Logics

David Basin, Seán Matthews, Luca Viganò

Journal:

Year:

1998

File:

PDF, 2.12 MB

1998

40

Labelled Modal Logics: Quantifiers

David Basin, Seán Matthews, Luca Viganò

Journal:

Journal of Logic, Language and Information

Year:

1998

Language:

english

File:

PDF, 208 KB

english, 1998

41

Modeling a Hardware Synthesis Methodology in Isabelle

David Basin, Stefan Friedrich

Journal:

Formal Methods in System Design

Year:

1999

Language:

english

File:

PDF, 200 KB

english, 1999

42

Current Trends in Logical Frameworks and Metalanguages

David Basin, Amy Felty

Journal:

Journal of Automated Reasoning

Year:

2001

Language:

english

File:

PDF, 28 KB

english, 2001

43

[Lecture Notes in Computer Science] Automated Reasoning Volume 3097 || Efficient Checking of Term Ordering Constraints

Basin, David, Rusinowitch, Michaël

Year:

2004

Language:

english

File:

PDF, 247 KB

english, 2004

44

Applied Information Security Volume 43 || Network Services

Basin, David, Schaller, Patrick, Schläpfer, Michael

Year:

2011

Language:

english

File:

PDF, 250 KB

english, 2011

45

Structuring Metatheory on Inductive Definitions

David Basin, Seán Matthews

Journal:

Information and Computation

Year:

2000

Language:

english

File:

PDF, 149 KB

english, 2000

46

Effect of continuous exposure to exogenous ethylene during cold storage on postharvest decay development and quality attributes of stone fruits and table grapes

Lluı&amp, #x0301, s Palou, Carlos H. Crisosto, David Garner, Lisa M. Basinal

Journal:

Postharvest Biology and Technology

Year:

2003

Language:

english

File:

PDF, 410 KB

english, 2003

47

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 2758 ||

Basin, David, Wolff, Burkhart

Year:

2003

Language:

english

File:

PDF, 185 KB

english, 2003

48

Predictable Mobile Routing for Spacecraft Networks

Fischer, Daniel, Basin, David, Eckstein, Knut, Engel, Thomas

Journal:

IEEE Transactions on Mobile Computing

Year:

2013

Language:

english

File:

PDF, 731 KB

english, 2013

49

[Lecture Notes in Computer Science] Principles of Security and Trust Volume 7796 ||

Basin, David, Mitchell, John C.

Year:

2013

Language:

english

File:

PDF, 3.66 MB

english, 2013

50

Applied Information Security ||

Basin, David, Schaller, Patrick, Schläpfer, Michael

Year:

2011

Language:

english

File:

PDF, 1.56 MB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски